昨天介紹了最早被提出的Rollup—Optimistic Rollup，還不太清楚的可以點這邊觀看，而昨天說到Optimistic Rollup有個很大的缺點，那便是上鏈的時候，因為當有人把交易給打包上鏈的時候，這時交易在鏈上還不算是真正存在，而是要等一段漫長的挑戰期過後，在鏈下的交易才算真正的在鏈上被存證，那麼有沒有什麼方法能讓這整包交易包打包上鏈的時候，就可以驗證其真實性？想想之前講過的零知識證明不就好像有類似的作用嗎，讓我們來回想一下。

零知識證明

之前就有說過在零知識證明中有個非交互式零知識證明，有人可以透過傳上證明來證明出某些私有資料確實存在，加上這裡面又有一種叫做zk-SNARKs的東西，可以讓我們做快速驗證，更可以與區塊鏈做結合，而在之前人們對於零知識證明的想法還停留在隱私保護上，但假如今天我不想隱藏這些私有資料呢？假如私有資料我把他當作是一大包的交易呢？這時候人們便發現零知識證明的應用遠超乎他們想像，如果這麼做就可以達成一種新型態的Rollup，於是ZK Rollup便產生了！

ZK Rollup

之前花了16天的篇幅介紹了零知識證明，之後又在花了5天的篇幅介紹Rollup，而將兩個結合在一起就是所謂的ZK Rollup，同樣是打包交易，也是由某一個人來負責打包，但這時候不一樣的是動用到了零知識證明，之前講過零知識證明流程便是證明者使用私有資料跟公開資料產生出證明，接著用這證明與公開資料來證明確實擁有私有資料以及其所擁有的特定規則。ZK Rollup的私有資料就是要打包上鏈的所有交易明細，而這交易明細中還包含著使用者的簽章，而這些資料之所以是私有資料，原因並非是他是隱私資料需要保密，而是打包的人根本不想將那堆簽章丟在鏈上，以太坊上的交易之所以需要大量的手續費其中一點的原因就是因為每筆交易都要帶有簽章，而以太坊上交易的簽章大小是65個Bytes，這是一個很大的空間，因此既然都在鏈下打包了，驗證簽章這種東西在鏈下驗一驗就好，就不必將簽章丟上去了，反而我只要丟一個證明就可以代表我所有交易的簽章都是合法的，雖然證明大小可能會有256個Bytes那麼大，但是我一包交易可能就幾百筆，平均分攤下來，每筆交易所佔的空間根本不大，而且只要丟一個證明，因為鏈上驗證的程式可以很快驗證證明的合法性，也就是代表著只要打包交易的人，一丟上證明上鏈，這次整包交易中所有的交易都是合法的，馬上就在鏈上進行存證，並不需要在等待一段漫漫時光，馬上就可以證實這些交易的存在。

而在這邊不免也會發現，其實ZK Rollup跟零知識證明的零知識特性一點關係都沒有，他只是想用零知識證明中的快速驗證而已，所以如果想要了解ZK Rollup而去往零知識證明去探究，會發現他中間拐了兩個彎，首先他不是用剛開始學習到的交互式零知識證明，而是使用非交互式零知識證明，再來他之所以用非交互式零知識證明並不是想要隱藏什麼資訊，只是想要快速驗證而已。
基本上這就是零知識證明所能帶來的應用，他們分別是隱私保護以及增加可擴展性，因此以太坊基金會底下有個組織叫做「Privacy & Scaling Explorations」，其實就不難猜出這個組織就是在研究零知識證明在區塊鏈上面的應用。而不論是拿零知識證明來做隱私保護或是增加可擴展性，都逃不了零知識證明的最大缺點，那便是耗費算力，每當要產生出一個證明都會需要耗費大量時間以及算力，至今為止這也是在推動零知識證明中一項很大的阻力。

以上花了6個文章在講述了ZK Rollup的Rollup，因此此系列對於Rollup的探討也告此一段落，到這邊你們已經對ZK Rollup已經有一個初步的概念了，接下來的篇章我將會講關於ZK Rollup的架構與實作。